Automated reasoning - PDFSEARCH.IO - Document Search Engine

Automated reasoning
Results: 284

#	Item
201	IJCAR 2004 Second International Joint Conference on Automated Reasoning University College Cork, Cork, Ireland Workshop Programme Fourth International Workshop on Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2004-06-14 23:05:55 Mathematics Logic in computer science Dependently typed programming Lambda calculus Logic programming Twelf Logical framework Higher-order abstract syntax Dependent type Type theory Programming language theory Theoretical computer science
202	More SPASS with Isabelle Superposition with Hard Sorts and Configurable Simplification Jasmin Christian Blanchette1 , Andrei Popescu1 , Daniel Wand2 , and Christoph Weidenbach2 1 Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2013-08-15 04:44:13 Theoretical computer science Superposition calculus SPASS Resolution Isabelle Proof assistant Vampire Automated reasoning First-order logic Automated theorem proving Mathematics Mathematical logic
203	Noname manuscript No. (will be inserted by the editor) Extending Sledgehammer with SMT Solvers Jasmin Christian Blanchette · Sascha Böhme · Lawrence C. Paulson Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Logic in computer science Automated theorem proving Formal methods Constraint programming Satisfiability Modulo Theories Isabelle Proof assistant Automated reasoning E theorem prover Theoretical computer science Applied mathematics Mathematics
204	PROGRAM VERIFICATION Robert S. Boyer and J Strother Moore To Appear in the Journal of Automated Reasoning The research reported here was supported by National Science Foundation Grant MCS[removed]and Office of Naval Rese Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2000-04-02 13:39:09 Logic in computer science Formal methods Automated theorem proving Programming paradigms Formal verification Correctness Denotational semantics Logic programming Nqthm Theoretical computer science Applied mathematics Mathematics
205	Formalization of Visual Mathematical Notations Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-11 03:20:20 Diagrams Reasoning Automated theorem proving Logic programming Constraint programming Diagrammatic reasoning Diagram Euler diagram Mathematical notation Science Logic Mathematics
206	In Memoriam Woodrow Wilson Bledsoe Woodrow Wilson (Woody) Bledsoe died on 4 October 1995 of ALS, more commonly known as Lou GehrigÕs disease. Woody was one of the founders of Artificial Intelligence (AI), making early c Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2000-04-02 13:38:05 Mathematics Logic in computer science Artificial intelligence Automated reasoning Reasoning Robert S. Boyer Natural Woody Bledsoe Automated theorem proving Theoretical computer science Applied mathematics
207	Structure Learning via Parameter Learning William Yang Wang Kathryn Mazaitis William W. Cohen Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2014-08-25 09:41:11 Reasoning Quantification Automated theorem proving Predicate logic Logic programming Prolog Resolution Datalog First-order logic Logic Mathematics Mathematical logic
208	From: ARPI 1996 Proceedings. Copyright © 1996, AAAI (www.aaai.org). All rights reserved. Toward Rational Planning and Replanning RationalReasonMaintenance, Reasoning Economies, Add to Reading List Source URL: www.aaai.org Language: English - Date: 2006-01-11 01:50:03 Logic Knowledge Reason maintenance Belief revision Rationality Non-monotonic logic Automated planning and scheduling Reason Rational choice theory Knowledge representation Science Reasoning
209	Progress in the Development of Automated Theorem Proving for Higher-order Logic? Geoff Sutcliffe1 , Christoph Benzm¨ uller2 , 3 Add to Reading List Source URL: www.boldsolutions.de Language: English - Date: 2011-03-22 14:11:30 Logic Geoff Sutcliffe CADE ATP System Competition TPTP Vampire Automated reasoning First-order logic Proof assistant Logic programming Automated theorem proving Mathematical logic Theoretical computer science
210	Computer Algebra implemented in Isabelle’s Function Package under Lucas-Interpretation — a Case Study Walther Neuper Institute for Software Technology University of Technology Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-05 18:35:19 Logic in computer science Automated theorem proving Programming idioms Mathematical logic Recursion Automated reasoning Isabelle HOL Termination analysis Computer programming Theoretical computer science Applied mathematics

UPDATE